Karl Bühler a TCLP znovuobjevovaní

Exact Categories Theo Bühler

We survey the basics of homological algebra in exact categories in the sense of Quillen. All diagram lemmas are proved directly from the axioms, notably the five lemma, the 3×3-lemma and the snake lemma. We briefly discuss exact functors, idempotent completion and weak idempotent completeness. We then show that it is possible to construct the derived category of an exact category without any em...

Karl Popper A Centenary Assessment

TCLP: a temporal causal link planner with disjunctive temporal relations

In this paper, we describe TCLP, a Temporal Causal Link Planner which takes into account the duration of actions and accepts disjunctive temporal relations, while still using the principles of traditional planners which assume actions are instantaneous. We have defined a model of action with duration, and translate any temporal disjunctive relation between 2 actions with duration into a set of ...

A Tribute to Karl Llewellyn

Karl Sigmund.

Program Thursday, October 29 10:00 – 10:20 Opening addresses by Vice-Rector Prof. Dr. Heinz Faßmann and by Dean Prof. Dr. Harald Rindler 10:20 – 11:15 Peter Schuster: “Modeling cooperation – From molecules to man” 11:15 – 12:10 Martin Nowak: “Natural cooperation” 12:10 – 14:00 Lunch 14:00 – 14:55 Sebastian Schreiber: "Fitness covariances and coexistence of interacting, structured populations" 1...